Semantics of programming languages - PDFSEARCH.IO - Document Search Engine

Semantics of programming languages
Results: 156

#	Item
111	Introduction to Python 1 Chang Y. Chung Office of Population Research[removed] Add to Reading List Source URL: opr.princeton.edu Language: English - Date: 2014-01-16 13:00:46 Scripting languages Python Lisp programming language Read–eval–print loop Eval D Python syntax and semantics Software engineering Computing Computer programming
112	UNIVERSITY OF CAMBRIDGE COMPUTER LABORATORY Computer Science Tripos Parts IA, IB, and II Summary List of Books Recommended by Lecturers September 2014 This list is prepared once a year for the benefit of College Libraria Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-09-19 05:27:29 Ada Programming language Tripos Semantics of programming languages Functional programming Viable prefix Computing Software engineering Computer programming
113	Technical Report UCAM-CL-TR-453 ISSN[removed]Number 453 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2002-02-04 10:59:46 Applied mathematics Mathematics Denotational semantics Semantics of programming languages Operational semantics Axiomatic semantics Semantics Type safety Programming language Theoretical computer science Logic in computer science Programming language semantics
114	Languages for bibliography styles Jean-Michel Hufflen LIFC (EA CNRS[removed]University of Franche-Comté 16, route de Gray Add to Reading List Source URL: www.tug.org Language: English - Date: 2008-10-14 21:00:40 Scheme programming language ISO standards Technical communication BibTeX Functional languages LaTeX Document Style Semantics and Specification Language XSLT TeX Computing Markup languages Application software
115	10 The Essence of ML Type Inference François Pottier and Didier Rémy 10.1 Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2005-07-01 08:54:05 Type theory Functional languages Lambda calculus Procedural programming languages Logic in computer science ML Type system Operational semantics Combinatory logic Software engineering Programming language theory Computing
116	Languages for bibliography styles Jean-Michel Hufflen LIFC (EA CNRS[removed]University of Franche-Comté 16, route de Gray Add to Reading List Source URL: tug.org Language: English - Date: 2008-10-14 21:00:40 Scheme programming language ISO standards Technical communication BibTeX Functional languages LaTeX Document Style Semantics and Specification Language XSLT TeX Computing Markup languages Application software
117	Denotational Semantics of XML-Lambda Pavel Loupal1 and Karel Richta2 1 Department of Software Engineering, Czech Technical University, Faculty of Information Technology Prague, Czech Republic Add to Reading List Source URL: www.ksi.mff.cuni.cz Language: English - Date: 2010-07-05 10:29:45 Models of computation Lambda calculus Formal languages Model theory Programming language semantics Denotational semantics Structure String Symbol Theoretical computer science Mathematics Mathematical logic
118	PDF Document Add to Reading List Source URL: media.wiley.com Language: English - Date: 2013-08-30 16:16:40 Applied mathematics Logic Formal sciences Automated theorem proving Formal verification Model checking Concurrency Mathematical logic Semantics of programming languages Theoretical computer science Formal methods Logic in computer science
119	Python Standard Library: Core Modules 1-1 Core Modules "Since the functions in the C runtime library are not part of the Win32 Add to Reading List Source URL: effbot.org Language: English - Date: 2014-05-31 19:27:50 Subroutines Scripting languages Python Function object Perl module Main function Namespace D Python syntax and semantics Software engineering Computing Computer programming
120	Python Standard Library: Core Modules 1-1 Core Modules "Since the functions in the C runtime library are not part of the Win32 Add to Reading List Source URL: www.effbot.org Language: English - Date: 2014-05-31 19:27:50 Subroutines Scripting languages Python Function object Perl module Main function Namespace D Python syntax and semantics Software engineering Computing Computer programming

UPDATE